#!/bin/bash
git reset --hard
export https_proxy=http://10.28.1.140:3128
export http_proxy=http://10.28.1.140:3128
git pull
unset https_proxy
unset http_proxy
unset all_proxy